Technical report

Results: 11918



#Item
311

Aachen Department of Computer Science Technical Report A Linear Operational Semantics for Termination and Complexity Analysis

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

- Date: 2011-07-08 05:07:15
    312

    Technical Summary Effect of Asphalt Rejuvenating Agent on Aged Reclaimed Asphalt Pavement and Binder Properties Report Number: KS-16-12 ▪ Publication Date: November 2016

    Add to Reading List

    Source URL: ntl.bts.gov

    - Date: 2016-12-05 14:38:07
      313

      Delft University of Technology Software Engineering Research Group Technical Report Series Combining Micro-Blogging and IDE Interactions

      Add to Reading List

      Source URL: swerl.tudelft.nl

      - Date: 2010-09-30 09:28:19
        314

        Aachen Department of Computer Science Technical Report Automated Complexity Analysis for Prolog by Term Rewriting

        Add to Reading List

        Source URL: sunsite.informatik.rwth-aachen.de

        - Date: 2012-04-04 08:10:13
          315

          A Resource-Based Logic for Termination and Non-Termination Proofs (Technical Report) Ton Chanh Le1 , Cristian Gherghina2 , Aquinas Hobor1 , and Wei-Ngan Chin1 1

          Add to Reading List

          Source URL: loris-5.d2.comp.nus.edu.sg

          - Date: 2014-07-09 23:50:19
            316

            Gravel Road Paving Guidelines Technical Summary Report Number: K-TRAN: KSU-14-1 ▪ Publication Date: November 2016

            Add to Reading List

            Source URL: ntl.bts.gov

            - Date: 2016-12-05 14:32:50
              317

              Technical Report NetApp All Flash FAS Solution for Persistent Desktops with VMware Horizon View Brian Casper, Joe Scott, Chris Gebhardt, Bhavik Desai, NetApp September 2016 | TR-4540

              Add to Reading List

              Source URL: www.netapp.com

              - Date: 2016-09-14 00:45:06
                318

                Delft University of Technology Software Engineering Research Group Technical Report Series Adinda: A Knowledgeable, Browser-Based IDE

                Add to Reading List

                Source URL: swerl.tudelft.nl

                - Date: 2010-03-02 16:44:19
                  319

                  Phonics screening check 2012 Technical report Contents Table of figures

                  Add to Reading List

                  Source URL: media.education.gov.uk

                  - Date: 2013-03-13 10:02:29
                    320

                    Technical Report Documentation Page 1. Report No. 2. Government Accession No. UMTRI

                    Add to Reading List

                    Source URL: www.umich.edu

                    - Date: 2016-01-18 15:05:47
                      UPDATE